symbolic execution meaning in English
符号执行 通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。
Examples
- For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。 - In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。